Chapter 1. Potential Model Approach

Chapter 1 Mathematical Model Transformations

For most computer controlled systems, especially dependable, real–time systems for critical applications , an effective design process requires an early conceptual and architectural validation prior to the implementation in order to avoid costly re–design cycles. In order to have a guaranteed design quality, all relevant system characteristics have to be checked during this system verification ...

Chapter 1 Performance Characteristics of Potential Petascale Scientific Applications

After a decade where HEC (high-end computing) capability was dominated by the rapid pace of improvements to CPU clock frequency, the performance of next-generation supercomputers is increasingly differentiated by varying interconnect designs and levels of integration. Understanding the tradeoffs of these system designs, in the context of high-end numerical simulations, is a key step towards mak...

1 CHAPTER 1 : Introduction

Chapter 1 Skyrmion Approach to finite density and temperature

We review an approach, developed over the past few years, to describe hadronic matter at finite density and temperature, whose underlying theoretical framework is the Skyrme model, an effective low energy theory rooted in large Nc QCD. In this approach matter is described by various crystal structures of skyrmions, classical topological solitons carrying baryon number, from which conventional b...

Chapter 1 THE PROGRES APPROACH : LANGUAGE AND ENVIRONMENT

Graphs play an important role within many areas of computer science. Rule-based languages, on the other hand, are well-suited for the description of transformation or inference processes on complex data structures. Why not combining two successful principles in one formalism? This is the common vision of the graph transformation community and the main motivation behind the development of PROGRE...